Constraint programming

Results: 1169



#Item
961Atom Mapping with Constraint Programming Martin Mann1 , Heinz Ekker1 , Peter F. Stadler1−5 , and Christoph Flamm1 1 Institute for Theoretical Chemistry, University of Vienna, W¨ ahringerstrasse 17, 1090

Atom Mapping with Constraint Programming Martin Mann1 , Heinz Ekker1 , Peter F. Stadler1−5 , and Christoph Flamm1 1 Institute for Theoretical Chemistry, University of Vienna, W¨ ahringerstrasse 17, 1090

Add to Reading List

Source URL: www.tbi.univie.ac.at

Language: English - Date: 2012-07-17 07:15:19
962TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN

TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN

Add to Reading List

Source URL: www.dbai.tuwien.ac.at

Language: English - Date: 2009-05-12 12:13:42
963Atom Mapping with Constraint Programming Martin Mann1 , Feras Nahar1 , Heinz Ekker5 , Rolf Backofen1−4 , Peter F. Stadler5−9 , and Christoph Flamm5 1 Bioinformatics, Department for Computer Science, University of Fr

Atom Mapping with Constraint Programming Martin Mann1 , Feras Nahar1 , Heinz Ekker5 , Rolf Backofen1−4 , Peter F. Stadler5−9 , and Christoph Flamm5 1 Bioinformatics, Department for Computer Science, University of Fr

Add to Reading List

Source URL: www.bioinf.uni-freiburg.de

Language: English - Date: 2013-11-27 09:54:28
964Review of Automatic Document Formatting Nathan Hurst Adobe Systems Inc. 345 Park Ave. San Jose, CA 95110

Review of Automatic Document Formatting Nathan Hurst Adobe Systems Inc. 345 Park Ave. San Jose, CA 95110

Add to Reading List

Source URL: www.wilmotli.com

Language: English - Date: 2010-08-05 20:57:23
965

PDF Document

Add to Reading List

Source URL: www-2.dc.uba.ar

Language: English - Date: 2004-09-21 22:41:38
966KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract

Add to Reading List

Source URL: llvm.org

Language: English - Date: 2010-02-25 20:19:41
967Proceedings of WCB13 Workshop on Constraint Based Methods for Bioinformatics Alessandro Dal Pal`u and Agostino Dovier September 16, 2013, Uppsala (Sweden)

Proceedings of WCB13 Workshop on Constraint Based Methods for Bioinformatics Alessandro Dal Pal`u and Agostino Dovier September 16, 2013, Uppsala (Sweden)

Add to Reading List

Source URL: cp2013.a4cp.org

Language: English - Date: 2014-06-16 22:25:15
968Microsoft Word - ProceedingsCSCLP_06.doc

Microsoft Word - ProceedingsCSCLP_06.doc

Add to Reading List

Source URL: centria.di.fct.unl.pt

Language: English - Date: 2007-02-26 21:14:19
969A Specification-Based Test Case Generation Method for UML/OCL Achim D. Brucker1 , Matthias P. Krieger2,3 , Delphine Longuet2,3 , and Burkhart Wolff2,3 1

A Specification-Based Test Case Generation Method for UML/OCL Achim D. Brucker1 , Matthias P. Krieger2,3 , Delphine Longuet2,3 , and Burkhart Wolff2,3 1

Add to Reading List

Source URL: www.brucker.ch

Language: English - Date: 2011-12-04 09:41:21
970A Benders approach for the constrained minimum break problem Rasmus V. Rasmussen1 and Michael A. Trick2 1 Department of Operations Research, University of Aarhus, Ny Munkegade,

A Benders approach for the constrained minimum break problem Rasmus V. Rasmussen1 and Michael A. Trick2 1 Department of Operations Research, University of Aarhus, Ny Munkegade,

Add to Reading List

Source URL: mat.gsia.cmu.edu

Language: English - Date: 2005-12-05 14:03:17